Spectrum and decays of kaonic hydrogen

By using the non-relativistic effective Lagrangian approach to bound states, a complete expression for the isospin-breaking corrections to the energy levels and the decay widths of kaonic hydrogen is obtained up-to-and-including O(alpha,m_d-m_u) in QCD. It is demonstrated that, although the leading-order corrections at O(alpha^{1/2},(m_d-m_u)^{1/2}) emerging due to the unitarity cusp, are huge, they can be expressed solely in terms of the KN S-wave scattering lengths. Consequently, at leading order, it is possible to derive parameter-free modified Deser-type relations, which can be used to extract the scattering lengths from the hadronic atom data.Comment: 9 pages, 3 postscript figures, epj style. References added, minor revisions in the text, results unchange

Feature Interaction Detection using Backward Reasoning with LOTOS

This paper concentrates on the problem of detecting ambiguous actions, which are seen as symptoms of feature interactions. Features are specified in LOTOS, and the specification is analyzed by using backward reasoning [DB78] [Hol85] [Lin 90]

An experience modelling telecommunications systems using ODP-DLcomp

. The ODP-DLcomp language is intended to describe systems in the ODP computational model. It is object-oriented, implementation-independent and its formal semantics are based on LOTOS, thus it is a Formal Description Technique. It supports specification of interface and object templates, with appropriate creation and binding operations. An application of the language is demonstrated using the Plain Old Telephone System example. Keywords: Open Distributed Processing, OO Languages, Specification, Telephony 0. Introduction ODP-DLcomp was designed and implemented at GMD-FOKUS by Frank Koch [Koch94]. The first author participated in the group at the time. The motivation behind this new language was to offer a more readable and compact alternative to the LOTOS description of the ODP computational model [Vog93] but also to offer a bridge between Formal Description Techniques and Object Oriented implementation languages. In this paper, we show that ODP-DLcomp includes all the essential conc..

Graphic visualization and animation of LOTOS execution traces

Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator. These are made possible by enforcing specific LOTOS styles and by providing certain mappings between the elements of LOTOS actions and the elements of the graphic notation. The main application area considered is the visualization and animation of specifications of telephony systems. The use of these tools in software design is discussed briefly

Automated testing of XML/SOAP based web services

Web services provide seamless connections from one software application to another over private intranets and the Internet. The major communication protocol used is SOAP, which in most cases is XML over HTTP. The exchanged data follow precise format rules in the form of XML Document Type Definitions or more recently the proposed XML Schemas. Web service testing considers functionality and load aspects to check how a Web service performs for single clients and scales as the number of clients accessing it increases. This paper discusses the automated testing of Web services by use of the Testing and Test Control Notation TTCN-3. A mapping between XML data descriptions to TTCN-3 data is presented to enable the automated derivation of test data. This is the basis for functional and load tests of XML interfaces in TTCN-3. The paper describes the mapping rules and prototypical tools for the development and execution of TTCN-3 tests for XML/SOAP based Web services